half 3-cnf satisfiability

join shbcf.ru